Eine aussagenlogische Formel ist die kanonische Normalform (KNF; engl.: canonical normal form) zu einer weiteren aussagenlogischen Formel, wenn sie ==Größe kanonischer Normalformen== ... Gefunden auf https://de.wikipedia.org/wiki/Kanonische_Normalform
Eine aussagenlogische Formel ist die kanonische Normalform (KNF; engl.: canonical normal form) zu einer weiteren aussagenlogischen Formel, wenn sie ==Größe kanonischer Normalformen== ...